permutations theorem